Blar i NTNU Open på forfatter "Slåtten, Vidar"
-
Automatic Detection and Correction of Flaws in Service Specifications
Slåtten, Vidar (Master thesis, 2008)While rigorous, mathematical techniques are helpful for improving the quality of software engineering, the threshold of learning and adapting formal methods keep many practitioners from embracing these kinds of approaches. ... -
Deep Learning for Fault Prediction in Offshore Wind Turbines
Thoresen, Thomas Hjelde (Master thesis, 2019)Denne oppgaven beskriver et feilprediksjonssystem for offshore vindturbiner basert på SCADA data. Hensikten med systemet er å gi tidlig advarsel for kommende feil. Dette vil kunne bidra til reduserte vedlikeholdskostnader ... -
Model-Driven Engineering of Dependable Systems
Slåtten, Vidar (Chapter, 2010)Improving the dependability of a computer system increases the acquisition cost so much that many systems are built without a cost-effective level of dependability. This motivates our decision to work on reducing the ... -
Towards Model-Driven Engineering of Reliable Systems: Developing Fault-Tolerant Systems using Scalable Verification
Slåtten, Vidar (Doctoral Theses at NTNU, 1503-8181; 2014:211, Doctoral thesis, 2014)As many of us already depend on computer systems to lead our lives to a standard we find acceptable, we put a correspondingly strong emphasis on ensuring that these systems are indeed dependable. Of the various attributes ...